complete pre-order

[数] 完备预序